Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems.

In this paper, we introduce operators, semantics, and conditions that, when possible, are solution-independent to guarantee basic temporal logic specifications for hybrid dynamical systems. Employing sufficient conditions for forward invariance and finite time attractivity of sets for such systems, we derive such sufficient conditions for the satisfaction of formulas involving temporal operators and atomic propositions. Furthermore, we present how to certify formulas that have more than one operator. Academic examples illustrate the results throughout the paper

Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions

This paper introduces operators, semantics, characterizations, and solution-independent conditions to guarantee temporal logic specifications for hybrid dynamical systems. Hybrid dynamical systems are given in terms of differential inclusions -- capturing the continuous dynamics -- and difference inclusions -- capturing the discrete dynamics or events -- with constraints. State trajectories (or solutions) to such systems are parameterized by a hybrid notion of time. For such broad class of solutions, the operators and semantics needed to reason about temporal logic are introduced. Characterizations of temporal logic formulas in terms of dynamical properties of hybrid systems are presented -- in particular, forward invariance and finite time attractivity. These characterizations are exploited to formulate sufficient conditions assuring the satisfaction of temporal logic formulas -- when possible, these conditions do not involve solution information. Combining the results for formulas with a single operator, ways to certify more complex formulas are pointed out, in particular, via a decomposition using a finite state automaton. Academic examples illustrate the results throughout the paper.Comment: 35 pages. The technical report accompanying "Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions" submitted to Nonlinear Analysis: Hybrid Systems, 201

High intake of sweet foods and low life satisfaction can act as risk factors for acute coronary syndrome through synergistic interaction

PurposeDietary and psychological status contributes to the development of coronary artery disease. However, these lifestyle factors may vary depending on ethnic and environmental background, and secondary prevention programs dealing with these factors in a specific population are not well-established. We aimed to assess dietary and psychological characteristics in Korean patients with acute coronary syndrome (ACS) and analyze their interactions as independent risk factors for ACS.MethodsNinety-two patients with ACS (29 acute myocardial infarction and 63 unstable angina) and 69 controls were subjected to dietary and psychological analyses. Dietary intake was assessed by a food frequency questionnaire. Psychological depression and perceived stress were assessed using the Patient Health Questionnaire-9 and the Perceived Stress Scale, respectively. Eight domains of life satisfaction (marital/love relationship, leisure, standard of living, job, health, family life, sex life, and self) were assessed using the Domain Satisfaction Questionnaire (DSQ).ResultsThe ACS group had a higher consumption of sweets and fish/seafood, as well as higher levels of depressive symptoms. Additionally, they had lower DSQ scores in total, and all eight individual domains compared with the control group. In multivariate logistic regression analysis, sweet intake (OR 4.57, 95% CI: 1.94–11.40) and total DSQ scores (OR 0.34, 95% CI: 0.14–0.81) were identified as independent risk factors for ACS. Furthermore, these factors, which displayed a significant inverse correlation (ρ = −0.23, p = 0.01), were determined as having a synergistic contribution to the development of ACS.ConclusionHigh sweet food intake and low life satisfaction can act as risk factors for ACS through a synergistic interaction, which emphasizes a demand for a more comprehensive approach to secondary prevention of ACS. In addition, these data highlight the role of positive psychological wellbeing factors in cardiovascular health

A multicenter phase II study of everolimus in patients with progressive unresectable adenoid cystic carcinoma

BACKGROUND: The aim of this study was to examine the efficacy and safety of everolimus in patients with progressive unresectable adenoid cystic carcinoma (ACC). METHODS: Histologically confirmed ACC patients with documented disease progression within 12 months prior to the study entry were eligible. Everolimus was given at a dose of 10 mg daily until progression or occurrence of unacceptable toxicities. The primary endpoint was a 4-month progression-free survival (PFS). RESULTS: A total of 34 patients were enrolled. The 4-month PFS probability was 65.5% (95% one-sided confidence interval [CI], 47.7 to infinity). Median PFS duration was 11.2 months (95% CI, 3.6 to 15.8). Complete or partial response was not achieved. Twenty-seven (79.4%, 95% CI, 63.2 to 89.6) patients showed stable disease (SD). Tumor shrinkage within SD criteria was observed in 15 patients (44.1%) and SD lasting 6 months was observed in 13 patients (38.2%). Four patients had disease progression. Among the 18 patients with both pre- and post-treatment (at 8 weeks) FDG-PET scans available, 8 patients (44.4%) showed a partial metabolic response, defined as a ≥25% reduction in maximum standardized uptake values (SUVmax). The most common adverse events were stomatitis, anemia, asthenia, and leukopenia. No unexpected everolimus related toxicities were reported. CONCLUSIONS: Everolimus showed promising efficacy and good tolerability in progressive unresectable ACC. TRIAL REGISTRATION: ClinicalTrials.gov identifier, NCT0115284

Hypoglycemic effect of Chlorella vulgaris intake in type 2 diabetic Goto-Kakizaki and normal Wistar rats

The aim of this study was to examine the hypoglycemic effect of chlorella in 6 week-old type 2 diabetic Goto-Kakizaki (GK, n=30) rats and 6 week-old normal Wistar (n=30) rats. Animals were randomly assigned to 3 groups respectively, and were fed three different experimental diets containing 0%, 3% or 5% (w/w) chlorella for 8 weeks. In diabetic GK rats, the insulinogenic-indices were not significantly different among the groups. The concentrations of fasting plasma glucagon and hepatic triglyceride, and the insulin/glucagon ratios of the GK-3% chlorella and GK-5% chlorella groups were significantly lower than those of the GK-control group. The HOMA-index and the concentrations of fasting blood glucose and plasma insulin of the GK-3% chlorella and GK-5% chlorella groups were slightly lower than those of the GK-control group. In normal Wistar rats, the insulinogenic-indices were not significantly different among the normal groups, but that of the Wistar-5% chlorella group was slightly higher than the other groups. The concentrations of fasting blood glucose and plasma insulin, and the HOMA-index of the Wistar-5% chlorella group were a little higher, and the fasting plasma glucagon concentration and the insulin/glucagon ratio of the Wistar-5% chlorella group were significantly higher than those of the Wistar-control and Wistar-3% chlorella groups. In conclusion, this study shows that the glucose-stimulated insulin secretion was not affected by the intake of chlorella, which could be beneficial, however, in improving insulin sensitivity in type 2 diabetic GK and normal Wistar rats

Cu2Se-based thermoelectric cellular architectures for efficient and durable power generation

Thermoelectric power generation offers a promising way to recover waste heat. The geometrical design of thermoelectric legs in modules is important to ensure sustainable power generation but cannot be easily achieved by traditional fabrication processes. Herein, we propose the design of cellular thermoelectric architectures for efficient and durable power generation, realized by the extrusion-based 3D printing process of Cu2Se thermoelectric materials. We design the optimum aspect ratio of a cuboid thermoelectric leg to maximize the power output and extend this design to the mechanically stiff cellular architectures of hollow hexagonal column- and honeycomb-based thermoelectric legs. Moreover, we develop organic binder-free Cu2Se-based 3D-printing inks with desirable viscoelasticity, tailored with an additive of inorganic Se-8(2-) polyanion, fabricating the designed topologies. The computational simulation and experimental measurement demonstrate the superior power output and mechanical stiffness of the proposed cellular thermoelectric architectures to other designs, unveiling the importance of topological designs of thermoelectric legs toward higher power and longer durability

Genome-wide association study of corticobasal degeneration identifies risk variants shared with progressive supranuclear palsy

Corticobasal degeneration (CBD) is a neurodegenerative disorder affecting movement and cognition, definitively diagnosed only at autopsy. Here, we conduct a genome-wide association study (GWAS) in CBD cases (n = 152) and 3, 311 controls, and 67 CBD cases and 439 controls in a replication stage. Associations with meta-analysis were 17q21 at MAPT (P = 1.42 x 10(-12)),8p12 at lnc-KIF13B-1, a long non-coding RNA (rs643472;P = 3.41 x 10(-8)),and 2p22 at SOS1 (rs963731;P = 1.76 x 10(-7)). Testing for association of CBD with top progressive supranuclear palsy (PSP) GWAS single-nucleotide polymorphisms (SNPs) identified associations at MOBP (3p22;rs1768208;P = 2.07 x 10(-7)) and MAPT H1c (17q21;rs242557;P = 7.91 x 10(-6)). We previously reported SNP/transcript level associations with rs8070723/MAPT, rs242557/MAPT, and rs1768208/MOBP and herein identified association with rs963731/SOS1. We identify new CBD susceptibility loci and show that CBD and PSP share a genetic risk factor other than MAPT at 3p22 MOBP (myelin-associated oligodendrocyte basic protein)

The first whole genome and transcriptome of the cinereous vulture reveals adaptation in the gastric and immune defense systems and possible convergent evolution between the Old and New World vultures

Background: The cinereous vulture, Aegypius monachus, is the largest bird of prey and plays a key role in the ecosystem by removing carcasses, thus preventing the spread of diseases. Its feeding habits force it to cope with constant exposure to pathogens, making this species an interesting target for discovering functionally selected genetic variants. Furthermore, the presence of two independently evolved vulture groups, Old World and New World vultures, provides a natural experiment in which to investigate convergent evolution due to obligate scavenging. Results: We sequenced the genome of a cinereous vulture, and mapped it to the bald eagle reference genome, a close relative with a divergence time of 18 million years. By comparing the cinereous vulture to other avian genomes, we find positively selected genetic variations in this species associated with respiration, likely linked to their ability of immune defense responses and gastric acid secretion, consistent with their ability to digest carcasses. Comparisons between the Old World and New World vulture groups suggest convergent gene evolution. We assemble the cinereous vulture blood transcriptome from a second individual, and annotate genes. Finally, we infer the demographic history of the cinereous vulture which shows marked fluctuations in effective population size during the late Pleistocene. Conclusions: We present the first genome and transcriptome analyses of the cinereous vulture compared to other avian genomes and transcriptomes, revealing genetic signatures of dietary and environmental adaptations accompanied by possible convergent evolution between the Old World and New World vulturesopen